1 Meta - Level Inference and Program
نویسندگان
چکیده
In [Bundy and Sterling 81] we described how meta-level inference was useful for controlling search and deriving control information in the domain ofalgebra. Similar "techniques are applicable to the verification of logicprograms. A developing metalanguage is described, and an explicit proof plan using this language is given. A program, IMPRESS, is outlined which executes this plan. 1. Introduction It is well-known that logic programs have a dual interpretation-a procedural one and a semantic one (see for example [Kowalski 79]). Program statements can be interpreted both as commands to be executed under some control regime and as first-order predicate calculus clauses.
منابع مشابه
Meta-level Representations in the IDP Knowledge Base System: Towards Bootstrapping Inference Engine Development
Declarative systems aim at solving tasks by running inference engines on a specification, to free its users from having to specify how a task should be tackled. In order to provide such functionality, declarative systems themselves apply complex reasoning techniques, and, as a consequence, the development of such systems can be laborious work. In this paper, we demonstrate that the declarative ...
متن کاملThe Effect of Level 4 Triple-P Positive Parenting Program on Interaction of Parent-Child with Special Needs: A Meta-Analytic Study in Iran
Background: Since Positive Parenting Program (Triple-P) is one of the ways to improve parent-child interaction, it seems that conducting a meta-analysis will help determine the actual effect size of Triple-P. The aim of this study was to meta-analyze the effect of level 4 Triple-P on interaction of parent-child with special needs in Iran. Methods: The current study is a meta-analysis. Before t...
متن کاملSimulation of Pore Water Pressure in the Body of Earthen Dams during Construction Using Combining Meta-Heuristic Algorithms and ANFIS
Accurate prediction of pore water pressure in the body of earth dams during construction with accurate methods is one of the most important components in managing the stability of earth dams. The main objective of this research is to develop hybrid models based on fuzzy neural inference systems and meta-heuristic optimization algorithms. In this regard, the fuzzy neural inference system and opt...
متن کاملMeta - level Inference Systems
In this book we will be concerned with a particular type of architecture for reasoning systems, known as meta-level architectures. The book is divided in two parts. The first part discusses general properties of metalevel systems, whereas the second part concentrates on a particular efficiency problem associated with meta-level systems. After presenting the arguments for meta-level systems (cha...
متن کاملA reflective of sy s
We consider the problem of building an automated proof system for reasoning in contexts. Towards that goal, we first define a language of contextual implications, and give its operational semantics under the form of a natural deduction system using explicit context assertions. We show that this proof system has an equivalent straightforward logic program, which in turn can be reified, i.e. defi...
متن کامل